扫一扫
关注中图网
官方微博
出版社：
售价：
-
英语财富密码
¥27.9(7折)定价:¥39.9本书专为英语学习者量身定做，帮你克服对英语听力的恐惧与无奈，轻松地踏上征服英语听力的辉煌之路。全书新闻均摘自英语听力学习的王牌媒体：voa（慢速）、voa（标准）、cnn、bbc。覆盖9大主题：朝野内外、刑侦风云、天灾人祸、环球经济、长城外火线、内政动荡、文化采风、科技万花筒、名人演讲。编排体例上也独具匠心，将泛听完美结合，每章前都有听力指导为你概述全章内容，每条新闻都融汇超强学习功能：背景速览、新闻关键词、听力热身题、听力原文
-
高级语言程序变换的机械化证明导论/信息科学技术学术著作丛书
¥90.0(7.5折)定价:¥120.0随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。本书可供计算机科学与技术、信息安全、软件工程、计算机应用技术等相关专业的高年级本科生和研究生学习，也可供从事机械化定理证明、可信软件
